Nuprl Lemma : ma-empty-is-empty 0,22
ma-is-empty() 
latex

DefinitionsP  Q, P & Q, x:A. B(x), P  Q, P  Q, t  T,
Lemmasma-empty wf, assert-ma-is-empty

origin